-
1 formal kernel
Большой англо-русский и русско-английский словарь > formal kernel
-
2 formal kernel
Математика: формальное ядро -
3 formal kernel
мат. -
4 kernel
1) зерно, зёрнышко2) керн3) матем. кернфункция4) сердцевина; ядро•kernel on the left — алг. ядро слева
kernel on the right — алг. ядро справа
kernel with a summable square — алг. ядро с суммируемым квадратом
- intrinsically singular kernel - kernel of a linear operator - kernel of a singular integral - kernel of a summation method - kernel of integral operator - kernel of integral transformation - locally finite kernel - nonpositive definite kernel - proper covariance kernelkernel with a weak singularity — алг. ядро со слабой особенностью
-
5 формальное ядро
formal kernel мат.Русско-английский научно-технический словарь Масловского > формальное ядро
-
6 формальное ядро
Большой англо-русский и русско-английский словарь > формальное ядро
-
7 формальное ядро
Mathematics: formal kernel -
8 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
9 language
-
absolute language
-
algorithmical language
-
algorithmic language
-
applicative language
-
artificial language
-
assembler language
-
block-structured language
-
Boolean algebra-based language
-
Boolean based language
-
command language
-
compilative language
-
compiler language
-
computer language
-
computer-dependent language
-
computer-independent language
-
computer-oriented language
-
computer-sensitive language
-
context-free language
-
control language
-
conversational language
-
core language
-
data language
- data manipulation language -
data-base language
-
data-definition language
-
data-query language
-
declarative language
-
deduction-oriented language
-
design language
-
explicit language
-
expression-oriented language
-
extensible language
-
FG-kernel language
-
finite state language
-
formal specification language
-
function language
-
functional language
-
graphics-oriented language
-
graphics language
-
hardware-based language
-
high-level language
-
host language
-
human language
-
human-oriented language
-
hybrid language
-
imperative language
-
input language
-
instruction language
-
interactive language
-
interface language
-
intermediate language
-
interpretive language
-
job control language
-
kernel language
-
knowledge representation language
-
list-processing language
-
low-level language
-
machine language
-
machine-dependent language
-
machine-independent language
-
machine-oriented language
-
macro language
-
meta language
-
mnemonic language
-
narrative language
-
native language
-
native-mode language
-
natural language
-
NC-AM language
-
network control language
-
nonprocedural language
-
nucleus language
-
object language
-
object-oriented language
-
original language
-
parallel language
-
plain language
-
privacy language
-
problem solving language
-
problem-oriented language
-
procedural language
-
program development language
-
program language
-
programming language
-
pseudo language
-
query language
-
real-time language
-
reference language
-
regular language
-
relational language
-
retrieval language
-
robot language
-
rule language
-
semantic language
-
sentential language
-
simulation language
-
source language
-
specification description language
-
specification language
-
stratified language
-
structured language
-
symbolic language
-
system language
-
system-oriented language
-
target language
-
typed language
-
unstratified language
-
untyped language
-
user-oriented language
-
world-modeling language -
10 language
ˈlæŋɡwɪdʒ сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a language ≈ обогащать язык to learn, master a language ≈ учить язык to plan a language ≈ регулировать язык to purify a language ≈ очищать язык (проведение некоторых мер по выведению из языка тех или иных пластов лексики или грамматических форм) to speak (in) a, to use a language ≈ говорить на языке to standardize a language ≈ стандартизировать язык international, world language ≈ международный язык, язык международного общения dead, extinct language ≈ мертвый язык language acquisition ≈ обучение языку language maintenance ≈ поддержание (знания) языка spoken language ≈ разговорный язык written language ≈ письменный язык native language ≈ родной язык foreign language ≈ иностранный язык national language ≈ национальный язык official language ≈ официальный язык second language ≈ второй язык universal language ≈ универсальный язык formal language ≈ язык официального общения idiomatic language ≈ язык, богатый идиомами nontechnical language ≈ нетехнический язык substandard language ≈ язык, не соответствующий языковой норме technical language ≈ технический язык ancient language ≈ древний язык classical language ≈ классический язык creolized language ≈ креолизованный язык living language ≈ живой язык modern language ≈ современный язык natural language ≈ естественный язык trade language ≈ язык торгового общения agglutinative language ≈ агглютинативный язык inflecting language ≈ флективный язык isolating language ≈ изолирующий язык synthetic language ≈ синтетический язык tone language ≈ язык с тоновым ударением б) (как знаковая система) sign language ≈ язык знаков artificial language ≈ искусственный язык finger language ≈ язык жестов, язык глухонемых в) (языковой или литературный стиль;
язык писателя) the language of Shakespeare ≈ язык Шекспира bad, coarse, crude, dirty, foul, nasty, obscene, offensive, unprintable, vile, vulgar language ≈ грубый, грязный, неприличный, оскорбительный, непечатный, вульгарный язык rough, strong, vituperative language ≈ грубый, бранный язык everyday, plain, simple language ≈ простой, повседневный язык flowery language ≈ цветистый язык (богатый метафорами, сравнениями и др. литературными тропами) colloquial, informal language ≈ язык неофициального общения, разговорный язык literary, standard language ≈ литературный язык abusive language ≈ брань, ругательства children's language ≈ детский язык diplomatic language ≈ дипломатический язык polite language ≈ вежливый язык rich language ≈ богатый язык Syn: wording г) (как способ кодирования) object, target language ≈ язык, на который переводят source language ≈ язык, с которого переводят (в машинном переводе) computer language machine language programming language язык - the Russian * русский язык - finger * язык жестов, язык глухонемых - living * живой язык - working * рабочий язык (в международных организациях) - the working *s of this committee are English and Russian рабочими языками этого комитета являются русский и английский - * arts (американизм) обучение чтению, письму, литературе, словесность (школьный предмет) - * shift переключение на другой язык (о говорящем на иностранном языке) - * department отдел переводов (ООН) - a degree in *s диплом об окончании филологического факультета или института иностранных языков - science of * языкознание речь - spoken * разгговорный язык;
устная речь - written * письменость;
письменный язык - articulate * членораздельная речь - literary * литературный язык - substandard * просторечие - he has a great command of * он прекрасно владеет языком, у него прекрасная речь характер языка;
стиль, слог - fine * изысканный язык, цветистый стиль - strong * сильные выражения - bad * сквернословие - * of poetry язык поэзии - business * деловая речь;
язык деловой переписки - * of law юридический язык - diplomatic * дипломатический язык - the * of Shakespeare язык Шекспира (дипломатическое) формулировка( компьютерное) язык программирования ЭВМ > not to speak the same * совершенно не понимать друг друга > they don't speak the same * они говорят на разных языках algorithmic ~ вчт. алгоритмический язык algorithmical ~ вчт. алгоритмическый язык applicative ~ вчт. функциональный язык artifical ~ вчт. искусственный язык artificial ~ вчт. искусственный язык assembler ~ вчт. язык ассемблера assembly ~ вчт. язык ассемблера authoring ~ вчт. язык для автоматизации творческой работы block-structured ~ вчт. язык с блочной структурой boolean-based ~ вчт. язык булевых операторов command ~ вчт. командный язык compiled ~ вчт. транслируемый язык compiler ~ вчт. язык транслятора computer ~ вчт. машинный язык computer-dependent ~ вчт. машинно-зависимый язык computer-oriented ~ вчт. машинно-ориентированный язык computer-sensitive ~ вчт. машинно-зависимый язык constraint ~ вчт. декларативный язык context-free ~ вчт. контекстно-свободный язык conversational ~ вчт. диалоговый язык conversational ~ вчт. язык диалога data definition ~ вчт. язык определения данных data description ~ вчт. язык описания данных data description ~ вчт. язык определения данных data ~ вчт. язык описания данных data manipulation ~ вчт. язык манипулирования данными data-base ~ вчт. язык базы данных data-query ~ вчт. язык запросов declarative ~ вчт. декларативный язык design ~ вчт. язык проектирования end-user ~ вчт. язык конечного пользователя extensible ~ вчт. расширяемый язык ~ язык;
речь;
finger language язык жестов, язык глухонемых foreign ~ иностранный язык formal ~ формальный язык frame ~ вчт. фреймовый язык high-level ~ вчт. язык высокого уровня host ~ вчт. включающий язык human ~ естественный язык language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться inflected ~ флективный язык information retrieval ~ информационно- поисковый язык information retrieval ~ информационно-поисковый язык input ~ вчт. входной язык interactive ~ вчт. диалоговый язык interpreted ~ вчт. интерпретируемый язык kernel ~ вчт. базовый язык knowledge representation ~ вчт. язык представления знаний language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ язык ~ язык;
речь;
finger language язык жестов, язык глухонемых ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ of the case язык судебного делопроизводства legal ~ юридический язык legal ~ язык права low-level ~ вчт. язык низкого уровня machine ~ вчт. машинный язык machine-dependent ~ вчт. машинно-зависимый язык machine-independent ~ вчт. машинно-независимый язык machine-oriented ~ вчт. машинно-ориентрированный язык macro ~ вчт. макроязык macroinstruction ~ вчт. язык макрокоманд memory management ~ вчт. язык управления памятью meta ~ вчт. метаязык minority ~ язык национального меньшинства mnemonic ~ вчт. символический язык national ~ государственный язык native ~ вчт. собственный язык машины natural ~ вчт. естественный язык nonprocedural ~ вчт. непроцедурный язык object ~ вчт. объектный язык official ~ официальный язык original ~ исходный язык parallel ~ вчт. язык параллельного программирования predicate ~ вчт. язык предикатов problem statement ~ вчт. язык постановки задачи problem-oriented ~ вчт. проблемно-ориентированный язык procedural ~ вчт. процедурный язык procedural ~ процедурный язык procedure-oriented ~ вчт. процедурно ориентированный язык production ~ вчт. продукционный язык program ~ вчт. язык программирования programming ~ вчт. язык программирования query ~ вчт. язык запросов register transfer ~ вчт. язык межрегистровых пересылок regular ~ вчт. регулярный язык relational ~ вчт. реляционный язык representation ~ вчт. язык представлений restricted ~ вчт. упрощенная версия языка rule ~ вчт. язык правил rule-based ~ вчт. язык продукционных правил rule-oriented ~ вчт. язык логического программирования script ~ вчт. язык сценариев serial ~ вчт. язык последовательного программирования source ~ вчт. исходный язык source ~ cmp. исходный язык specification ~ вчт. язык спецификаций subset ~ вчт. подмножество языка symbolic ~ вчт. символический язык symbolic ~ comp. символический язык system ~ вчт. системный язык tabular ~ вчт. табличный язык target ~ вчт. выходной язык target ~ выходной язык target ~ объектный язык threaded ~ вчт. язык транслируемый в шитый код typed ~ вчт. широко используемый язык typeless ~ вчт. безтиповый язык unchecked ~ вчт. язык без контроля типов untyped ~ вчт. язык без контроля типов update ~ вчт. язык корректирующих запросов user ~ вчт. язык пользователя world ~ международный языкБольшой англо-русский и русско-английский словарь > language
-
11 mode
məud сущ.
1) метод, методика, способ The writer made use of a mode of teaching used commonly enough in the Bible. ≈ Писатель использует тот наставительный способ изложения, который достаточно часто применяется в Библии. mode of production Syn: method, manner, means
2) образ действий, манера поведения He explained it in his usual solemn mode. ≈ Он объяснил это в своей обычной важной манере. mode of life Syn: fashion
1.
3) вид, форма
4) состояние, режим a spacecraft in reentry mode ≈ космический корабль, находящийся в плотных слоях атмосферы when the camera is in automatic mode ≈ когда камера находится в автоматическом режиме Syn: status
5) стиль;
мода;
обычай It is the mode to live high, to spend more than we get. ≈ Это обычай жить богато, тратить больше, чем мы получаем. a slightly more elegant and formal mode of dress ≈ слегка более элегантный и формальный стиль одежды Syn: fashion
1., vogue, style
1.
6) муз. лад, тональность
7) грам.;
редк. наклонение Syn: mood II
8) лог. модальность суждения метод, способ - * of production (политэкономия) способ производства - * of publication способ издания( книг) - * of operation( специальное) способ или режим работы образ действий;
манера - * of life образ жизни - * of speaking манера говорить форма, вид - * of publication форма /вид/ издания (книг) - musical and literary *s of expression музыкальная и литературная формы выражения - * of combat( военное) вид боевых действий - * of decay( физическое) тип /форма, схема/ распада мода, обычай - today such a thing is the * сейчас такие вещи не в моде;
теперь мода на такие вещи - after the * of France на французский манер /лад/;
по французскому обычаю;
как принято во Франции (грамматика) (устаревшее) наклонение (музыкальное) лад, тональность (логика) модальность суждения (геология) действительный минералогический состав породы мода (в математической статистике) (физическое) тип движения;
мода (напр. колебаний) access ~ вчт. режим доступа addressing ~ вчт. способ адресации append ~ вчт. режим дозаписи attraction ~ вчт. демонстрационный режим auto-indent ~ вчт. режим автоматического отступа background ~ вчт. фоновый режим base ~ вчт. базовый режим batch ~ вчт. пакетный режим block ~ вчт. блочный режим broadcast ~ вчт. режим рассылки burst ~ вчт. монопольный режим capitals ~ вчт. режим прописных букв command ~ вчт. командный режим communication ~ вчт. режим связи compatibility ~ вчт. режим эмуляции compute ~ вчт. режим счета contention ~ вчт. состязательный режим conversational ~ вчт. диалоговый режим data-in ~ вчт. режим ввода данных data-out ~ вчт. режим вывода данных dialog ~ вчт. диалоговый режим display ~ вчт. экранный режим dual-processor ~ вчт. двухпроцессорный режим edit ~ вчт. режим редактирования event input ~ вчт. ввод с очередями failure ~ вчт. вид отказа file ~ вчт. режимный код файла fly-through ~ вчт. режим наблюдения с высоты птичьего полета free-running ~ вчт. режим свободного доступа full-screen ~ вчт. полноэкранный режим graphic ~ вчт. графический режим graphics ~ вчт. графический режим help ~ вчт. консультативный режим idle ~ вчт. нерабочий режим indexed ~ вчт. режим индексирования insert ~ вчт. режим вставки interactive ~ вчт. диалоговый режим interactive ~ вчт. интерактивный режим interpretive ~ вчт. режим интерпретации inverse video ~ вчт. режим выдачи негативного изображения kernel ~ вчт. режим ядра keyboard ~ вчт. клавиатурный режим learn ~ вчт. режим обучения local ~ вчт. автономный режим lock ~ вчт. режим блокировки manual ~ вчт. ручной режим mapped ~ вчт. режим с управлением памятью master ~ вчт. привелигированный режим mode вид ~ муз. лад, тональность ~ метод, способ;
mode of production способ производства ~ метод ~ мода;
обычай ~ образ ~ образ действий;
mode of life образ жизни ~ принцип работы ~ вчт. режим ~ способ ~ форма, вид ~ форма ~ of communication способ связи ~ of communication средство общения ~ образ действий;
mode of life образ жизни ~ of operation метод работы ~ of operation принцип работы ~ of operation способ действия ~ of payment форма платежа ~ метод, способ;
mode of production способ производства move ~ вчт. режим пересылки multitask ~ вчт. многозадачный режим native ~ вчт. режим работы в собственной системе команд nonwrap ~ вчт. режим без автоматического перевода строки off-line ~ вчт. автономный режим on-line ~ вчт. оперативный режим operating ~ вчт. рабочий режим page ~ вчт. страничный режим pipeline ~ вчт. конвейерный режим posted-write ~ вчт. режим отложенной записи privileged ~ вчт. привилегированный режим query ~ вчт. справочный режим question-answer ~ вчт. вопросно-ответный режим ready ~ вчт. режим готовности real address ~ вчт. режим реальной адресации real ~ вчт. реальный режим real time ~ вчт. режим реального времени replace ~ вчт. режим замещения run ~ вчт. режим прогона scope ~ вчт. экранный режим screen ~ вчт. экранный режим slave ~ вчт. непривилегированный режим slotted ~ вчт. режим с выделением квантов времени split-screen ~ вчт. полиэкранный режим spy ~ вчт. режим контрольных точек stream ~ вчт. пакетный режим supervisor ~ вчт. режим супервизора task ~ вчт. режим задачи test ~ вчт. тестовый режим text ~ вчт. текстовый режим through ~ вчт. режим работы на проход total-failure ~ вчт. режим полного отказа tracing ~ вчт. режим трассировки tracking-cross ~ вчт. режим отслеживания training ~ вчт. режим обучения transparent ~ вчт. прозрачный режим unoperable ~ вчт. режим простоя usage ~ вчт. режим использования user ~ вчт. режим пользователя user-operation ~ вчт. пользовательский режим verification ~ вчт. режим контроля virtual address ~ вчт. режим виртуальной адресации wave ~ тип волны wave ~ тип колебаний wrong ~ вчт. неверно выбранный режим -
12 congruence
2) конгруэнция, сравнение3) слаженность, согласованность4) соразмерность, соответствие, совмещение5) сравнимость•congruence with respect to operation — лог. конгруэнция по отношению к операции
-
13 integral
1) интеграл || интегральный2) неотъемлемый3) суммарный4) целостный; цельный•integral taken over — интеграл по; интеграл, распространенный на
integral taken over space — интеграл по объёму, интеграл по пространственной области
integral taken round closed circuit — круговой интеграл, интеграл по замкнутому контуру
integral taken through surface — интеграл по поверхности, поверхностный интеграл
- quadruple integral - topological direct integralto take integral of — брать интеграл от, интегрировать
-
14 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
15 operator
1) диспетчер2) владелец ( оборудования)3) машинист4) оператор машины или системы6) матем. оператор- almost periodic operator - amateur radio operator - asymptotically polylinear operator - bounded below operator - completely invertible operator - double stochastic operator - formally hypoelliptic operator - formally self-adjoint operator - formally symmetric operator - internal operator - isotonic operator - left shift operator - locally algebraic operator - locally measurable operator - negative semidefinite operator - normally resolvable operator - partial recursive operator - partially hypoelliptic operator - partially isometric operator - positive definite operator - positive semidefinite operator - properly orthogonal operator - relatively degenerate operator - relatively invertible operator - relatively regular operator - selective operator - skew adjoint operator - skew self-adjoint operator - uniformly strongly elliptic operator - weakly separable operator -
16 polynomial
многочлен, полином || многочленный, полиномиальный- annulator polynomial - interpolation polynomial - polynomial of least deviation - polynomial of real numbersfirst-degree polynomial in f(x) — многочлен первой степени относительно функции f(x) и ее производных
-
17 ring
1) кольцо2) окружность; круг3) звон || звонить; звенеть4) кольцевая область; кольцо || кольцевой6) обруч || надевать обруч7) обод; фланец; обойма8) ободок9) телефон. звонок; вызов || посылать вызов10) вчт счётное кольцо; кольцевая схема11) тор12) фланец; хомут; бугель13) ядро•ring over field — мат. кольцо над полем
ring with cancellation — мат. кольцо без делителей нуля
ring with divided powers — мат. кольцо с разделёнными степенями
ring with division — мат. кольцо с делением
ring with divisors of zero — мат. кольцо с делителями нуля
ring with filtration — мат. кольцо с фильтрацией, фильтрованное кольцо
ring with identity — мат. кольцо с единицей
ring with involution — мат. кольцо с инволюцией
ring with maximum condition — мат. кольцо с условием максимальности
ring with minimum condition — мат. кольцо с условием минимальности
ring with operators — мат. кольцо с операторами, операторное кольцо
ring with unit element — мат. кольцо с единицей
ring with unity — мат. кольцо с единицей
ring without divisors of zero — мат. кольцо без делителей нуля
ring without identity — мат. кольцо без единицы
- absolutely flat ring - analytically normal ring - analytically unramified ring - completely reducible ringring without radical — мат. кольцо без радикала
- eye ring- flat cohomology ring - fully primary ring - lattice ordered ring - left hereditary ring - locally decomposable ring - locally factorial ring - locally matrix ring - locally nilpotent ring - locally polynomial ring- mud ring- nil ring- nilpotent ring - projectively trivial ring- rim ring- ring of analytical functions - ring of formal power series - ring of linear transformations - ring of principal ideals - ring of vector functions- ring off- top ring- total quotient ring - totally primary ring - totally reducible ring - weakly regular ring -
18 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence -
19 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
20 language
[ˈlæŋɡwɪdʒ]algorithmic language вчт. алгоритмический язык algorithmical language вчт. алгоритмическый язык applicative language вчт. функциональный язык artifical language вчт. искусственный язык artificial language вчт. искусственный язык assembler language вчт. язык ассемблера assembly language вчт. язык ассемблера authoring language вчт. язык для автоматизации творческой работы block-structured language вчт. язык с блочной структурой boolean-based language вчт. язык булевых операторов command language вчт. командный язык compiled language вчт. транслируемый язык compiler language вчт. язык транслятора computer language вчт. машинный язык computer-dependent language вчт. машинно-зависимый язык computer-oriented language вчт. машинно-ориентированный язык computer-sensitive language вчт. машинно-зависимый язык constraint language вчт. декларативный язык context-free language вчт. контекстно-свободный язык conversational language вчт. диалоговый язык conversational language вчт. язык диалога data definition language вчт. язык определения данных data description language вчт. язык описания данных data description language вчт. язык определения данных data language вчт. язык описания данных data manipulation language вчт. язык манипулирования данными data-base language вчт. язык базы данных data-query language вчт. язык запросов declarative language вчт. декларативный язык design language вчт. язык проектирования end-user language вчт. язык конечного пользователя extensible language вчт. расширяемый язык language язык; речь; finger language язык жестов, язык глухонемых foreign language иностранный язык formal language формальный язык frame language вчт. фреймовый язык high-level language вчт. язык высокого уровня host language вчт. включающий язык human language естественный язык language разг. брань (тж. bad language); I won't have any language here прошу не выражаться inflected language флективный язык information retrieval language информационно- поисковый язык information retrieval language информационно-поисковый язык input language вчт. входной язык interactive language вчт. диалоговый язык interpreted language вчт. интерпретируемый язык kernel language вчт. базовый язык knowledge representation language вчт. язык представления знаний language разг. брань (тж. bad language); I won't have any language here прошу не выражаться language стиль; язык писателя; the language of Shakespeare язык Шекспира language язык language язык; речь; finger language язык жестов, язык глухонемых language стиль; язык писателя; the language of Shakespeare язык Шекспира language of the case язык судебного делопроизводства legal language юридический язык legal language язык права low-level language вчт. язык низкого уровня machine language вчт. машинный язык machine-dependent language вчт. машинно-зависимый язык machine-independent language вчт. машинно-независимый язык machine-oriented language вчт. машинно-ориентрированный язык macro language вчт. макроязык macroinstruction language вчт. язык макрокоманд memory management language вчт. язык управления памятью meta language вчт. метаязык minority language язык национального меньшинства mnemonic language вчт. символический язык national language государственный язык native language вчт. собственный язык машины natural language вчт. естественный язык nonprocedural language вчт. непроцедурный язык object language вчт. объектный язык official language официальный язык original language исходный язык parallel language вчт. язык параллельного программирования predicate language вчт. язык предикатов problem statement language вчт. язык постановки задачи problem-oriented language вчт. проблемно-ориентированный язык procedural language вчт. процедурный язык procedural language процедурный язык procedure-oriented language вчт. процедурно ориентированный язык production language вчт. продукционный язык program language вчт. язык программирования programming language вчт. язык программирования query language вчт. язык запросов register transfer language вчт. язык межрегистровых пересылок regular language вчт. регулярный язык relational language вчт. реляционный язык representation language вчт. язык представлений restricted language вчт. упрощенная версия языка rule language вчт. язык правил rule-based language вчт. язык продукционных правил rule-oriented language вчт. язык логического программирования script language вчт. язык сценариев serial language вчт. язык последовательного программирования source language вчт. исходный язык source language cmp. исходный язык specification language вчт. язык спецификаций subset language вчт. подмножество языка symbolic language вчт. символический язык symbolic language comp. символический язык system language вчт. системный язык tabular language вчт. табличный язык target language вчт. выходной язык target language выходной язык target language объектный язык threaded language вчт. язык транслируемый в шитый код typed language вчт. широко используемый язык typeless language вчт. безтиповый язык unchecked language вчт. язык без контроля типов untyped language вчт. язык без контроля типов update language вчт. язык корректирующих запросов user language вчт. язык пользователя world language международный язык
См. также в других словарях:
Kernel (set theory) — In mathematics, the kernel of a function f may be taken to be either*the equivalence relation on the function s domain that roughly expresses the idea of equivalent as far as the function f can tell , or *the corresponding partition of the domain … Wikipedia
Markov kernel — In probability theory, a Markov kernel is a map that plays the role, in the general theory of Markov processes, that the transition matrix does in the theory of Markov processes with a finite state space. Formal definition Let , be measurable… … Wikipedia
A Formal Sigh — were a New Wave band from Liverpool, England that formed in 1980 and broke up early in 1982. BiographyA Formal Sigh formed around the kernel of Mark Peters (bass guitar) and Flo Sullivan (vocals and keyboards). Robin Surtees (guitar) joined the… … Wikipedia
NetBSD — Company / developer The NetBSD Foundation OS family Unix like Working state Current So … Wikipedia
Microkernel — Structure of monolithic and microkernel based operating systems, respectively In computer science, a microkernel is the near minimum amount of software that can provide the mechanisms needed to implement an operating system (OS). These mechanisms … Wikipedia
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
Mandatory access control — In computer security, mandatory access control (MAC) refers to a type of access control by which the operating system constrains the ability of a subject or initiator to access or generally perform some sort of operation on an object or target.… … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… … Wikipedia
Trusted computing base — The trusted computing base (TCB) of a computer system is the set of all hardware, firmware, and/or software components that are critical to its security, in the sense that bugs occurring inside the TCB might jeopardize the security properties of… … Wikipedia